27th International Workshop on Qualitative Reasoning, Etelsen (near Bremen), Germany
نویسندگان
چکیده
Applications of qualitative reasoning to engineering design face a knowledge acquisition challenge. Designers are not fluent in qualitative modeling languages and techniques. To overcome this barrier, we perform qualitative simulation using models solely written in Modelica, a popular language for modeling hybrid systems. We define the relationship between the results of the Modelica and qualitative simulations and describe how qualitative simulation from numerical models can assist designers. We discuss challenges and solutions for abstracting equations into constraints, determining initial conditions, continuous behavior, and discrete events. In particular, we identify three places where additional constraints should be derived from Modelica equations, and describe how we bridge the gaps between Modelica and existing qualitative simulation work on discrete behavior. Our system has been integrated with the OpenModelica1 tool and we discuss its potential design applications.
منابع مشابه
Guided Research in Computer Science (IUB, Spring 2005): Design and Implementation of a Viewpoint-changing System for Mathematical Texts Based on Theory-inclusions in OMDoc
A popular approach in formalizing mathematical knowledge and mechanizing the process of logical reasoning is the so called ”little theories” method ([3]). Conceptually, this method refers to developing portions of mathematics in different theories (defined by sets of axioms) and linking these theories by means of theory interpretations. The latter denote syntactic translations between the under...
متن کاملA Strategy to Improve Information Display in Navigated Surgery
Frank Dylla studied computer science and psychology at the RWTH Aachen, Germany, where he received his diploma in 2001. Afterwards he deepened his research on cognitive robotics and intelligent behavior at the Knowledge-Based Systems Group at RWTH. In 2003 he moved to the University of Bremen and joined the Cognitive Systems group and the Collaborative Research Center on Spatial Cognition. By c...
متن کاملGIR ’ 05 , 2005 ACM Workshop on Geographical Information Retrieval , Bremen , Germany Authors
متن کامل
The Eleventh International Workshop on Qualitative Reasoning
tive mathematical modeling in the domain of applied sciences, although a research project on qualitative reasoning methods and their integration with quantitative reasoning methods has been active since 1988. Given the organizational context, an additional goal in our minds in preparing the workshop was to establish a basis for interaction between the qualitative and quantitative communities. T...
متن کاملThe Seventh International Workshop on Qualitative Reasoning about Physical Systems
s partial differential equation models of fluid mechanical systems. Ken Forbus (Northwestern University) rounded out the discussion by leading a panel session on building and sharing large-scale models. Many researchers in qualitative reasoning are looking at engineering tasks to focus their investigations Many researchers are looking at engineering tasks to focus their investigations and provi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013